Stationary reflection principles and two cardinal tree properties
نویسندگان
چکیده
We study consequences of stationary and semi-stationary set reflection. We show that the semi-stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi-stationary set reflection augmented with a weak form of Martin’s Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set reflection is analogous to strong compactness.
منابع مشابه
Local Clubs, Reflection, and Preserving Stationary Sets
We introduce the filter of locally closed unbounded sets and investigate its properties. As one application, we give a characterization of forcing notions that preserve stationary sets (in eo,). Also the local club filter and its variants lead to reflection principles for stationary sets. While the general reflection principle is related to Martin's Maximum of Foreman, Magidor and Shelah, the r...
متن کاملThe Eightfold Way
Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at κ, assuming that κ = κ and there is a weakly compact cardinal above κ. If in addition κ is supercompact then we can force κ to be א...
متن کاملCanonical structure in the universe of set theory: part two
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of the existence o...
متن کاملReflection of stationary Sets and the Tree Property at the Successor of a singular cardinal
We show that from infinitely many supercompact cardinals one can force a model of ZFC where both the tree property and the stationary reflection hold at אω2+1.
متن کاملConsistency Strength of ¬
We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a κ+-supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that using any of the standard modified Prikry forcings it is po...
متن کامل